Data as processes: introducing measurement data into CARMA models

Data as processes: introducing measurement data into CARMA models

Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models...

CARMA processes as solutions of integral equations

A CARMA(p, q) process is defined by suitable interpretation of the formal p order differential equation a(D)Yt = b(D)DLt, where L is a two-sided Lévy process, a(z) and b(z) are polynomials of degrees p and q, respectively, with p > q, and D denotes the differentiation operator. Since derivatives of Lévy processes do not exist in the usual sense, the rigorous definition of a CARMA process is bas...

Introducing glycomics data into the Semantic Web

BACKGROUND Glycoscience is a research field focusing on complex carbohydrates (otherwise known as glycans)a, which can, for example, serve as "switches" that toggle between different functions of a glycoprotein or glycolipid. Due to the advancement of glycomics technologies that are used to characterize glycan structures, many glycomics databases are now publicly available and provide useful in...

Introducing Dynamic Data Structure into Mobile Agents

Introducing Data-distributions into Powerlist Theory

PowerList theory is well suited to express recursive, data-parallel algorithms. Its abstractness is very high and assures simple and correct design of parallel programs. We try to reconcile this high level of abstraction with performance by introducing data-distributions into this theory. One advantage of formally introducing distributions is that it allows us to evaluate costs, depending on th...